Step of Proof: fast-fib-opt
11,40
postcript
pdf
Inference at
*
1
I
of proof for Lemma
fast-fib-opt
:
TERMOF{
fast-fib
:ObjectId, \\v:l}
(
n
:
. {
m
:
|
m
= fib(
n
)} )
latex
by Auto
latex
.
Definitions
t
T
,
fast-fib
Lemmas
fast-fib
origin
TERMOF{fast-fib:ObjectId, \\v:l} 
(
n:
. {m:| m = fib(n)} )
by Auto
. TERMOF{fast-fib:ObjectId, \\v:l} (n:. {m:| m = fib(n)} )
by Auto
. T